From 2050ed04dd4dbaf07d62c0f4f7a7b3827deda0e0 Mon Sep 17 00:00:00 2001 From: Lapo Calamandrei Date: Sat, 9 Jan 2016 13:35:48 +0100 Subject: [PATCH] Adwaita: rely on background-image for paned wide separators this workaround fixes the rendering issue coming out using borders --- gtk/theme/Adwaita/_common.scss | 14 +++++++------- gtk/theme/Adwaita/gtk-contained-dark.css | 14 +++++++------- gtk/theme/Adwaita/gtk-contained.css | 14 +++++++------- 3 files changed, 21 insertions(+), 21 deletions(-) diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index 75d74b08b3..6d1c1fc5bd 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -3061,9 +3061,9 @@ paned { padding: 0; min-width: 5px; min-height: 5px; - background-image: none; - border: 1px solid $borders_color; - &:backdrop { border-color: $backdrop_borders_color; } + background-image: linear-gradient(to top, $borders_color), linear-gradient(to top, $borders_color); + background-size: 1px 1px, 1px 1px; + &:backdrop { background-image: linear-gradient(to top, $backdrop_borders_color), linear-gradient(to top, $backdrop_borders_color); } } } @@ -3081,8 +3081,8 @@ paned { } &.wide { - border-top-style: none; - border-bottom-style: none; + background-repeat: repeat-y, repeat-y; + background-position: left, right; } } @@ -3093,8 +3093,8 @@ paned { background-position: top; &.wide { - border-left-style: none; - border-right-style: none; + background-repeat: repeat-x, repeat-x; + background-position: bottom, top; } } } diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css index 5c288383db..b971118ad0 100644 --- a/gtk/theme/Adwaita/gtk-contained-dark.css +++ b/gtk/theme/Adwaita/gtk-contained-dark.css @@ -4210,10 +4210,10 @@ paned > separator { padding: 0; min-width: 5px; min-height: 5px; - background-image: none; - border: 1px solid #1c1f1f; } + background-image: linear-gradient(to top, #1c1f1f), linear-gradient(to top, #1c1f1f); + background-size: 1px 1px, 1px 1px; } paned > separator.wide:backdrop { - border-color: #1f2222; } + background-image: linear-gradient(to top, #1f2222), linear-gradient(to top, #1f2222); } paned.horizontal > separator { background-repeat: repeat-y; } paned.horizontal > separator:dir(ltr) { @@ -4225,16 +4225,16 @@ paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide { - border-top-style: none; - border-bottom-style: none; } + background-repeat: repeat-y, repeat-y; + background-position: left, right; } paned.vertical > separator { margin: 0 0 -8px 0; padding: 0 0 8px 0; background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide { - border-left-style: none; - border-right-style: none; } + background-repeat: repeat-x, repeat-x; + background-position: bottom, top; } /************** * GtkInfoBar * diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css index 373a2a5b70..f16d320abb 100644 --- a/gtk/theme/Adwaita/gtk-contained.css +++ b/gtk/theme/Adwaita/gtk-contained.css @@ -4386,10 +4386,10 @@ paned > separator { padding: 0; min-width: 5px; min-height: 5px; - background-image: none; - border: 1px solid #9d9d99; } + background-image: linear-gradient(to top, #9d9d99), linear-gradient(to top, #9d9d99); + background-size: 1px 1px, 1px 1px; } paned > separator.wide:backdrop { - border-color: #a5a5a1; } + background-image: linear-gradient(to top, #a5a5a1), linear-gradient(to top, #a5a5a1); } paned.horizontal > separator { background-repeat: repeat-y; } paned.horizontal > separator:dir(ltr) { @@ -4401,16 +4401,16 @@ paned.horizontal > separator { padding: 0 0 0 8px; background-position: right; } paned.horizontal > separator.wide { - border-top-style: none; - border-bottom-style: none; } + background-repeat: repeat-y, repeat-y; + background-position: left, right; } paned.vertical > separator { margin: 0 0 -8px 0; padding: 0 0 8px 0; background-repeat: repeat-x; background-position: top; } paned.vertical > separator.wide { - border-left-style: none; - border-right-style: none; } + background-repeat: repeat-x, repeat-x; + background-position: bottom, top; } /************** * GtkInfoBar * -- 2.30.2